بررسی استانداردهای کدنویسی ایمن در زبان ++ C

نویسندگان

  • عسگری مهر, مسعود تهران ضلع غربی استادیوم آزادی بعد از پژوهشگاه صنعت نفت سازمان پژوهشی باقار العلوم )ع) مرکز آفاق
چکیده مقاله:

با گسترش روزافزون به‌کارگیری سامانه‌های رایانه‌ای در کاربردهای بحرانی-ایمن، استفاده از روش‌های ارتقای ایمنی و قابلیت اطمینان در فازهای اولیه طراحی و تولید، اهمیت به‌سزایی پیدا کرده است. چون رخداد اشکال یا بروز شکست در این سامانه‌های بحرانی نه‌‌تنها هزینه‌های بسیاری را به تولیدکننده تحمیل می‌کند، بلکه می‌تواند جان و مال انسان‌ها و نیز محیط‌زیست را به مخاطره بیندازد. در این مقاله چهار استاندارد مطرح برنامه‌نویسی به زبان ++C به نام‌های MISRA C++، JSF AV C++، HI C++، ESCR C++ مورد بررسی قرار گرفته است؛ که قادر خواهند بود، معیار ایمنی را در کدهای نوشته‌‌شده در مرحله طراحی کد، افزایش دهند. از‌این‌رو در این مقاله، ابتدا میزان هم‌پوشانی این استانداردها به جهت یافتن جامع‌ترین استاندارد ارزیابی‌شده و در ادامه به میزان غنای این استانداردها از شش جهت قابلیت اطمینان، تعمیر، خوانایی، آزمون‌پذیری، کارایی و ایمنی پرداخته شده است. در پایان ابزارهایی را که توانایی وارسی این استانداردها را در حین تولید دارند، مورد بررسی قرار خواهیم داد.  

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

بررسی نقش واسطه ای گفتار با خود در مدل مفهومی رابطه رشد زبان و دلبستگی ایمن با خودتنظیمی رفتاری

هدف پژوهش حاضر بررسی نقش واسطه­ای گفتار با خود در مدل مفهومی رابطه رشد زبان و دلبستگی ایمن با خودتنظیمی رفتاری کودکان است. در این مطالعه همبستگی 128 کودک 3 الی 7 ساله از مهدکودک­های شهر تهران انتخاب شدند. نسخه فارسی آزمون رشد زبان (حسن­زاده و مینایی،1380)،  مصاحبه  اختلال در دلبستگی (اسمایک و زینه، 1999)، مقیاس گفتار با خود (امرایی، 1394)، پرسشنامه مشکلات رفتاری کودکان پیش دبستانی (شهیم و یوسفی...

متن کامل

بررسی وضعیت رعایت استانداردهای پرستاری در ارتباط با ساکشن ایمن، در پرستاران شاغل در بخش مراقبت‌های ویژه یکی از مراکز آموزشی – درمانی شهر ارومیه سال 1390

  بررسی وضعیت رعایت استانداردهای پرستاری در ارتباط با ساکشن ایمن، در پرستاران شاغل در بخش مراقبت‌های ویژه یکی از مراکز آموزشی – درمانی شهر ارومیه سال 1390     نوریه امیرزاده [1] *، دکتر رحیم بقایی [2] ، دکتر آرام فیضی [3] ، فاطمه خرسندی [4]     تاریخ دریافت 30/10/1391 تاریخ پذیرش 22/12/1391     چکیده   پیش زمینه و هدف: ساکشن رویه‌ای ضروری برای باز نگه داشتن لوله درون تراشه در بیماران تحت تهویه ...

متن کامل

بررسی میزان رعایت استانداردهای تزریق ایمن توسط پرستاران بخش‌های اورژانس در مراکز آموزشی درمانی وابسته به دانشگاه علوم پزشکی ارومیه در سال 1394

تاریخ دریافت 15/08/1394 تاریخ پذیرش 25/10/1394 چکیده پیش‌زمینه و هدف: ایمنی یک اصل اساسی در مراقبت از بیمار و یک استراتژی مهم در حوزه­ی سلامت است و چگونگی به‌کارگیری احتیاط­های استاندارد و رعایت اصول تزریقات ایمن توسط پرستاران برای حفظ ایمنی بیمار و پرستار دارای اهمیت ویژه­ای می‌باشد. این بررسی به‌منظور تعیین میزان رعایت استانداردهای تزریق ایمن توسط پرستاران بخش­های اورژانس انجام شده است. مواد...

متن کامل

نکاتی در مورد ایمن سازی

ایمن سازی فعال توسط واکسیناسیون انواع واکسن هایی که در جهت ایمن سازی بکار می روند عبارتند از:الف – واکسنهایی که دارای ویروس خفیف شده اند مانند واکسن سرخک، سرخجه، اوریون و پولیومیلیت خوراکی، آبله مرغان و تب زرد. این واکسن ها را برای همه افراد نمی توان بکار برد. از جمله آنهایی که دچار نقص ایمنی اکتسابی یا مادرزادی هستند و در لوسمی و لنفوم و بیماریهای بدخیم، منتشر، افرادی که داروهای ناقص و مهارکنن...

متن کامل

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 7  شماره 1

صفحات  45- 56

تاریخ انتشار 2019-03

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

کلمات کلیدی

کلمات کلیدی برای این مقاله ارائه نشده است

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023